Using conservation science to solve conservation problemsGIBBONS, David W; WILSON, Jeremy D; GREEN, Rhys E et al.Journal of applied ecology (Print). 2011, Vol 48, Num 3, pp 505-508, issn 0021-8901, 4 p.Article

On the automatizability of Resolution and related propositional proof systemsATSERIAS, Albert; BONET, Maria Luisa.Lecture notes in computer science. 2002, pp 569-583, issn 0302-9743, isbn 3-540-44240-5, 15 p.Conference Paper

A comparison of micromagneticsolversLOPEZ-DIAZ, L; EICKE, J; DELLA TORRE, E et al.IEEE transactions on magnetics. 1999, Vol 35, Num 3, pp 1207-1210, issn 0018-9464, 1Conference Paper

On the semi-classical approximation of the solution of the Heisenberg equation with spinICHINOSE, W.Annales de l'I.H.P. Physique théorique. 1997, Vol 67, Num 1, pp 59-76, issn 0246-0211Article

On simplifying approaches to the solution of the Boltzmann equation in spatially inhomogeneous plasmasKORTSHAGEN, U; BUSCH, C; TSENDIN, L. D et al.Plasma sources science & technology (Print). 1996, Vol 5, Num 1, pp 1-17, issn 0963-0252Article

HyLoRes 1.0: Direct resolution for hybrid logicsARECES, Carlos; HEGUIABEHERE, Juan.Lecture notes in computer science. 2002, pp 156-160, issn 0302-9743, isbn 3-540-43931-5, 5 p.Conference Paper

System description : CutRes 0.1: Cut elimination by resolutionBAAZ, M; LEITSCH, A; MOSER, G et al.Lecture notes in computer science. 1999, pp 212-216, issn 0302-9743, isbn 3-540-66222-7Conference Paper

Comments on Korepanov's solution in tetrahedron equationHORIBE, M; SHIGEMOTO, K.Journal of the Physical Society of Japan. 1997, Vol 66, Num 2, pp 499-500, issn 0031-9015Article

Solving a congruence on a graded algebra by a subresultant sequence and its applicationBA-ZHONG SHEN.Journal of symbolic computation. 1992, Vol 14, Num 5, pp 505-522, issn 0747-7171Article

Knights, spies, games and ballot sequencesWILDON, Mark.Discrete mathematics. 2010, Vol 310, Num 21, pp 2974-2983, issn 0012-365X, 10 p.Article

Selecting effective ozone exposure control policies solving a two-objective problemCARNEVALE, Claudio; PISONI, Enrico; VOLTA, Marialuisa et al.Ecological modelling. 2007, Vol 204, Num 1-2, pp 93-103, issn 0304-3800, 11 p.Article

Analyse multirésolution pour les images avec un facteur de résolution √2FEAUVEAU, J. C.TS. Traitement du signal. 1990, Vol 7, Num 2, pp 117-128, issn 0765-0019Article

Bouziane's transformation of the Petri net reachability problem and incorrectness of the related algorithmJAICAR, Petr.Information and computation (Print). 2008, Vol 206, Num 11, pp 1259-1263, issn 0890-5401, 5 p.Article

When not losing is better than winning : Abstraction and refinement for the full μ-calculusGRUMBERG, Orna; LANGE, Martin; LEUCKER, Martin et al.Information and computation (Print). 2007, Vol 205, Num 8, pp 1130-1148, issn 0890-5401, 19 p.Article

Efficient algorithms for center problems in cactus networksBEN-MOSHE, Boaz; BHATTACHARYA, Binay; QIAOSHENG SHI et al.Theoretical computer science. 2007, Vol 378, Num 3, pp 237-252, issn 0304-3975, 16 p.Article

The incidentor coloring of multigraphs and its applicationsPYATKIN, A. V.Discrete applied mathematics. 2002, Vol 120, Num 1-3, pp 209-217, issn 0166-218XConference Paper

Fast algorithms for cauchy-vandermonde matrices with multiple polesMARTINEZ, J. J; PENA, J. M.SPIE proceedings series. 1999, pp 371-379, isbn 0-8194-3293-8Conference Paper

Using neural networks in the identification of preisach-type hysteresis modelsADLY, A. A; ABD-EL-HAFIZ, S. K.IEEE transactions on magnetics. 1998, Vol 34, Num 3, pp 629-635, issn 0018-9464Article

The relationship between the direct and weak formulations of a linearised Riemann solver for systems of conservation lawsGLAISTER, P.Computers & mathematics with applications (1987). 1996, Vol 31, Num 7, pp 65-73, issn 0898-1221Article

Beyond travelling waves : a new algorithm for solving nonlinear evolution equationsTIAN, B; GAO, Y.-T.Computer physics communications. 1996, Vol 95, Num 2-3, pp 139-142, issn 0010-4655Article

Simple numerical method for solving horizontal circular curvesEASA, S. M.Journal of surveying engineering. 1994, Vol 120, Num 1, pp 44-48, issn 0733-9453Article

The Bohm criterion for radio-frequency discharges : a numerical verification based on Poisson's equationMEIJER, P. M; GOEDHEER, W. J.Physics of fluids. B, Plasma physics. 1993, Vol 5, Num 5, pp 1656-1660, issn 0899-8221Article

On solving a bi-level stochastic dynamic programming model for analyzing fisheries policies: Fishermen behavior and optimal fish quotaVAN DIJK, Diana; HENDRIX, Eligius M. T; HAIJEMA, Rene et al.Ecological modelling. 2014, Vol 272, pp 68-75, issn 0304-3800, 8 p.Article

Solving the probabilistic reserve selection problemBILLIONNET, Alain.Ecological modelling. 2011, Vol 222, Num 3, pp 546-554, issn 0304-3800, 9 p.Article

The game of n-player CutcakeCINCOTTI, Alessandro.Theoretical computer science. 2011, Vol 412, Num 41, pp 5678-5683, issn 0304-3975, 6 p.Article